[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 29 31 30 37 0 58 46

N.S.

1 1.00 0.71 0.76 0.73 0.90 0.00 1.41 1.12

time (sec)

N/A 0.018 0.003 0.015 0.278 0.351 0.000 3.504 4.669

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 54 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.031 0.005 0.000 0.000 0.000 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 55 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.027 0.033 0.012 0.000 0.000 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.037 0.016 0.000 0.000 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.031 0.010 0.000 0.000 0.000 0.000 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 46 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.008 0.027 0.004 0.000 0.000 0.000 0.000 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 49 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.038 0.012 0.000 0.000 0.000 0.000 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.040 0.015 0.000 0.000 0.000 0.000 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 56 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.014 0.112 0.005 0.000 0.000 0.000 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 56 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.014 0.088 0.005 0.000 0.000 0.000 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 54 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.014 0.099 0.006 0.000 0.000 0.000 0.000 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 54 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.016 0.133 0.007 0.000 0.000 0.000 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 56 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.015 0.141 0.005 0.000 0.000 0.000 0.000 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.005 0.002 0.009 0.278 0.340 0.006 3.899 0.030

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.005 0.001 0.007 0.277 0.360 0.007 3.546 0.028

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 17 16 16 15 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80

time (sec)

N/A 0.002 0.000 0.006 0.294 0.338 0.006 3.438 0.024

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 18 20 17 17 20 17

N.S.

1 1.00 1.00 0.86 0.95 0.81 0.81 0.95 0.81

time (sec)

N/A 0.004 0.002 0.023 0.299 0.349 0.021 3.993 0.025

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 16 20 12 16 16

N.S.

1 1.00 1.00 0.94 0.89 1.11 0.67 0.89 0.89

time (sec)

N/A 0.004 0.001 0.011 0.281 0.349 0.020 4.173 0.029

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 18 20 22 17 26 17

N.S.

1 1.00 1.00 0.86 0.95 1.05 0.81 1.24 0.81

time (sec)

N/A 0.005 0.002 0.013 0.280 0.384 0.033 6.094 0.029

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 17 17 21 17 17 18

N.S.

1 1.00 1.00 0.94 0.94 1.17 0.94 0.94 1.00

time (sec)

N/A 0.004 0.004 0.010 0.282 0.360 0.038 3.636 0.023

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 18 21 23 19 27 20

N.S.

1 1.00 1.00 0.86 1.00 1.10 0.90 1.29 0.95

time (sec)

N/A 0.005 0.003 0.016 0.281 0.363 0.094 3.052 0.043

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 20 21 21 22 21 20

N.S.

1 1.00 1.00 0.87 0.91 0.91 0.96 0.91 0.87

time (sec)

N/A 0.005 0.002 0.010 0.277 0.323 0.108 4.178 0.031

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 20 21 21 22 21 21

N.S.

1 1.00 1.00 0.80 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.005 0.002 0.025 0.282 0.357 0.152 3.898 0.031

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 20 21 21 22 21 21

N.S.

1 1.00 1.00 0.80 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.005 0.002 0.010 0.285 0.347 0.145 3.880 0.033

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 45 44 44 51 46 45

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.94 0.85 0.83

time (sec)

N/A 0.021 0.005 0.040 0.278 0.362 0.010 3.095 0.027

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 48 45 44 44 46 46 45

N.S.

1 1.00 0.89 0.83 0.81 0.81 0.85 0.85 0.83

time (sec)

N/A 0.027 0.006 0.040 0.286 0.347 0.011 4.159 0.021

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 49 42 45 41 48 43 42

N.S.

1 1.00 1.00 0.86 0.92 0.84 0.98 0.88 0.86

time (sec)

N/A 0.014 0.004 0.010 0.294 0.348 0.009 4.997 0.020

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 44 44 41 42 46 42

N.S.

1 1.00 1.00 0.94 0.94 0.87 0.89 0.98 0.89

time (sec)

N/A 0.028 0.009 0.054 0.278 0.366 0.037 3.841 0.024

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 48 45 42 46 44 44 43

N.S.

1 1.00 1.00 0.94 0.88 0.96 0.92 0.92 0.90

time (sec)

N/A 0.015 0.012 0.030 0.295 0.354 0.035 3.060 0.023

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 46 45 44 47 44 53 43

N.S.

1 1.00 0.90 0.88 0.86 0.92 0.86 1.04 0.84

time (sec)

N/A 0.027 0.011 0.016 0.278 0.334 0.052 3.873 0.026

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 42 42 46 46 42 44

N.S.

1 1.00 1.00 0.89 0.89 0.98 0.98 0.89 0.94

time (sec)

N/A 0.015 0.014 0.015 0.278 0.329 0.058 3.743 0.041

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 41 42 45 47 44 60 43

N.S.

1 1.00 0.91 0.93 1.00 1.04 0.98 1.33 0.96

time (sec)

N/A 0.027 0.014 0.030 0.284 0.376 0.171 3.713 0.037

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 49 43 45 46 48 47 44

N.S.

1 1.00 1.02 0.90 0.94 0.96 1.00 0.98 0.92

time (sec)

N/A 0.017 0.015 0.015 0.275 0.358 0.196 3.129 0.041

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 50 44 45 48 48 54 46

N.S.

1 1.00 0.98 0.86 0.88 0.94 0.94 1.06 0.90

time (sec)

N/A 0.025 0.012 0.026 0.280 0.347 0.370 3.506 4.137

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 49 42 44 46 46 46 45

N.S.

1 1.00 1.04 0.89 0.94 0.98 0.98 0.98 0.96

time (sec)

N/A 0.016 0.016 0.016 0.284 0.348 0.364 4.386 4.173

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 50 43 48 48 48 58 45

N.S.

1 1.00 1.04 0.90 1.00 1.00 1.00 1.21 0.94

time (sec)

N/A 0.024 0.018 0.016 0.297 0.366 0.692 4.176 4.182

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 50 45 46 46 49 48 46

N.S.

1 1.00 0.96 0.87 0.88 0.88 0.94 0.92 0.88

time (sec)

N/A 0.017 0.014 0.014 0.290 0.364 0.751 4.619 0.035

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 53 45 46 46 49 48 47

N.S.

1 1.00 0.98 0.83 0.85 0.85 0.91 0.89 0.87

time (sec)

N/A 0.024 0.011 0.016 0.283 0.321 1.050 3.851 4.119

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 56 45 46 46 49 48 47

N.S.

1 1.00 1.04 0.83 0.85 0.85 0.91 0.89 0.87

time (sec)

N/A 0.016 0.017 0.019 0.306 0.356 1.208 4.942 4.160

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 50 45 46 46 49 48 47

N.S.

1 1.00 0.93 0.83 0.85 0.85 0.91 0.89 0.87

time (sec)

N/A 0.025 0.012 0.016 0.272 0.328 1.482 4.011 4.158

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 89 111 81 81 97 87 76

N.S.

1 1.00 1.00 1.25 0.91 0.91 1.09 0.98 0.85

time (sec)

N/A 0.041 0.010 0.046 0.280 0.321 0.015 5.106 0.034

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 79 111 81 81 92 87 76

N.S.

1 1.00 0.89 1.25 0.91 0.91 1.03 0.98 0.85

time (sec)

N/A 0.055 0.012 0.044 0.273 0.351 0.015 3.448 0.030

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 81 107 85 77 87 83 72

N.S.

1 1.00 1.00 1.32 1.05 0.95 1.07 1.02 0.89

time (sec)

N/A 0.031 0.007 0.013 0.272 0.336 0.014 5.069 0.030

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 85 85 82 79 92 87 73

N.S.

1 1.00 1.00 1.00 0.96 0.93 1.08 1.02 0.86

time (sec)

N/A 0.050 0.015 0.038 0.278 0.333 0.063 5.007 0.034

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 84 78 83 82 83 73

N.S.

1 1.00 1.00 1.05 0.98 1.04 1.02 1.04 0.91

time (sec)

N/A 0.027 0.017 0.037 0.273 0.330 0.062 3.873 0.033

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 78 87 82 85 92 98 75

N.S.

1 1.00 0.91 1.01 0.95 0.99 1.07 1.14 0.87

time (sec)

N/A 0.052 0.025 0.020 0.274 0.370 0.081 4.142 0.036

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 83 84 80 83 90 84 77

N.S.

1 1.00 1.00 1.01 0.96 1.00 1.08 1.01 0.93

time (sec)

N/A 0.028 0.018 0.020 0.268 0.330 0.083 4.170 0.031

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 93 105 0 313 391 92 842

N.S.

1 1.00 0.93 1.05 0.00 3.13 3.91 0.92 8.42

time (sec)

N/A 0.089 0.061 0.060 0.000 0.371 1.806 4.957 4.396

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 78 83 0 254 316 75 655

N.S.

1 1.00 0.96 1.02 0.00 3.14 3.90 0.93 8.09

time (sec)

N/A 0.057 0.031 0.042 0.000 0.336 1.147 4.699 4.750

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 62 60 0 197 223 59 118

N.S.

1 1.00 0.98 0.95 0.00 3.13 3.54 0.94 1.87

time (sec)

N/A 0.041 0.016 0.033 0.000 0.361 0.520 4.107 4.263

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 39 36 0 129 131 35 41

N.S.

1 1.00 1.08 1.00 0.00 3.58 3.64 0.97 1.14

time (sec)

N/A 0.023 0.007 0.018 0.000 0.353 0.258 3.551 4.270

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 113 65 0 223 253 68 1014

N.S.

1 1.00 1.64 0.94 0.00 3.23 3.67 0.99 14.70

time (sec)

N/A 0.048 0.049 0.029 0.000 0.365 8.324 3.708 4.936

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 135 85 0 293 0 94 2033

N.S.

1 1.00 1.52 0.96 0.00 3.29 0.00 1.06 22.84

time (sec)

N/A 0.092 0.084 0.035 0.000 0.385 0.000 3.733 5.892

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 188 134 0 374 0 126 2451

N.S.

1 1.00 1.65 1.18 0.00 3.28 0.00 1.11 21.50

time (sec)

N/A 0.128 0.148 0.039 0.000 0.385 0.000 5.127 6.367

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 250 217 0 1564 194 2457 2500

N.S.

1 1.00 1.23 1.07 0.00 7.70 0.96 12.10 12.32

time (sec)

N/A 0.465 0.105 0.043 0.000 0.409 11.345 4.840 5.014

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 202 169 0 1059 129 2109 3026

N.S.

1 1.00 1.13 0.94 0.00 5.92 0.72 11.78 16.91

time (sec)

N/A 0.175 0.071 0.033 0.000 0.366 1.222 5.980 0.653

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 165 149 0 559 75 503 416

N.S.

1 1.00 1.10 0.99 0.00 3.73 0.50 3.35 2.77

time (sec)

N/A 0.075 0.056 0.031 0.000 0.352 0.433 4.763 4.457

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 129 117 0 613 87 1024 763

N.S.

1 1.00 0.86 0.78 0.00 4.09 0.58 6.83 5.09

time (sec)

N/A 0.059 0.052 0.029 0.000 0.361 0.631 4.226 4.612

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 191 159 0 1116 148 1839 2997

N.S.

1 1.00 1.10 0.91 0.00 6.41 0.85 10.57 17.22

time (sec)

N/A 0.155 0.268 0.042 0.000 0.368 1.899 5.040 4.854

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 216 179 0 1622 211 1640 2500

N.S.

1 1.00 1.10 0.91 0.00 8.28 1.08 8.37 12.76

time (sec)

N/A 0.260 0.094 0.044 0.000 0.383 71.427 4.651 0.788

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 121 179 0 663 0 152 1336

N.S.

1 1.00 0.92 1.36 0.00 5.02 0.00 1.15 10.12

time (sec)

N/A 0.111 0.118 0.073 0.000 0.352 0.000 4.993 5.098

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 93 104 0 407 282 96 187

N.S.

1 1.00 1.19 1.33 0.00 5.22 3.62 1.23 2.40

time (sec)

N/A 0.042 0.059 0.039 0.000 0.352 0.830 4.185 0.177

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 79 77 0 360 269 82 178

N.S.

1 1.00 1.05 1.03 0.00 4.80 3.59 1.09 2.37

time (sec)

N/A 0.040 0.044 0.039 0.000 0.358 0.724 3.896 4.566

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 79 75 0 361 267 82 172

N.S.

1 1.00 1.07 1.01 0.00 4.88 3.61 1.11 2.32

time (sec)

N/A 0.037 0.051 0.038 0.000 0.357 0.694 4.933 4.311

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 207 185 0 813 0 166 2500

N.S.

1 1.00 1.70 1.52 0.00 6.66 0.00 1.36 20.49

time (sec)

N/A 0.127 0.217 0.056 0.000 0.421 0.000 3.560 8.292

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 248 213 0 1007 0 182 2500

N.S.

1 1.00 1.53 1.31 0.00 6.22 0.00 1.12 15.43

time (sec)

N/A 0.165 0.176 0.058 0.000 0.477 0.000 4.717 8.812

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

331 331 327 319 0 2856 0 3339 2500

N.S.

1 1.00 0.99 0.96 0.00 8.63 0.00 10.09 7.55

time (sec)

N/A 0.518 0.423 0.067 0.000 0.591 0.000 5.295 1.566

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 282 279 0 2257 0 2736 2500

N.S.

1 1.00 1.04 1.03 0.00 8.33 0.00 10.10 9.23

time (sec)

N/A 0.377 0.330 0.048 0.000 0.419 0.000 7.369 5.999

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 235 230 0 1668 296 2132 2500

N.S.

1 1.00 0.99 0.97 0.00 7.04 1.25 9.00 10.55

time (sec)

N/A 0.265 0.267 0.041 0.000 0.396 7.352 4.148 5.910

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 222 271 0 1680 0 1969 2500

N.S.

1 1.00 1.00 1.23 0.00 7.60 0.00 8.91 11.31

time (sec)

N/A 0.171 0.290 0.074 0.000 0.407 0.000 5.339 1.348

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 243 320 0 2309 0 2682 2500

N.S.

1 1.00 0.96 1.27 0.00 9.16 0.00 10.64 9.92

time (sec)

N/A 0.330 0.278 0.065 0.000 0.461 0.000 4.277 5.996

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

308 308 302 294 0 2912 0 3087 2500

N.S.

1 1.00 0.98 0.95 0.00 9.45 0.00 10.02 8.12

time (sec)

N/A 0.915 0.392 0.063 0.000 0.564 0.000 5.697 6.716

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 244 367 0 1631 0 306 2588

N.S.

1 1.00 1.17 1.76 0.00 7.80 0.00 1.46 12.38

time (sec)

N/A 0.253 0.214 0.102 0.000 0.406 0.000 5.803 7.296

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 194 267 0 973 554 212 444

N.S.

1 1.00 1.60 2.21 0.00 8.04 4.58 1.75 3.67

time (sec)

N/A 0.075 0.116 0.077 0.000 0.359 2.399 5.761 4.532

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 137 230 0 892 524 171 423

N.S.

1 1.00 1.15 1.93 0.00 7.50 4.40 1.44 3.55

time (sec)

N/A 0.067 0.130 0.056 0.000 0.385 1.800 4.476 4.444

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 145 216 0 907 580 161 460

N.S.

1 1.00 1.12 1.66 0.00 6.98 4.46 1.24 3.54

time (sec)

N/A 0.083 0.091 0.067 0.000 0.379 2.537 6.144 4.457

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 114 128 0 808 491 143 400

N.S.

1 1.00 1.01 1.13 0.00 7.15 4.35 1.27 3.54

time (sec)

N/A 0.062 0.068 0.056 0.000 0.361 1.401 5.996 4.392

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 106 126 0 809 481 144 386

N.S.

1 1.00 0.94 1.12 0.00 7.16 4.26 1.27 3.42

time (sec)

N/A 0.060 0.068 0.051 0.000 0.398 1.372 5.277 4.337

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 342 360 0 2017 0 323 2500

N.S.

1 1.00 1.71 1.80 0.00 10.08 0.00 1.62 12.50

time (sec)

N/A 0.203 0.331 0.079 0.000 0.652 0.000 6.426 10.945

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 402 412 0 2312 0 382 2500

N.S.

1 1.00 1.58 1.62 0.00 9.07 0.00 1.50 9.80

time (sec)

N/A 0.258 0.388 0.102 0.000 0.814 0.000 6.181 11.756

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

400 400 455 496 0 4279 0 2432 2500

N.S.

1 1.00 1.14 1.24 0.00 10.70 0.00 6.08 6.25

time (sec)

N/A 1.196 0.736 0.068 0.000 0.832 0.000 9.219 9.036

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 381 420 0 3725 0 4558 2500

N.S.

1 1.00 1.09 1.21 0.00 10.70 0.00 13.10 7.18

time (sec)

N/A 0.593 0.611 0.059 0.000 0.589 0.000 6.823 8.537

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 343 374 0 3128 0 1750 2500

N.S.

1 1.00 1.15 1.26 0.00 10.50 0.00 5.87 8.39

time (sec)

N/A 0.476 0.545 0.058 0.000 0.426 0.000 6.537 8.179

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 285 338 0 3128 0 1863 2500

N.S.

1 1.00 0.99 1.17 0.00 10.82 0.00 6.45 8.65

time (sec)

N/A 0.462 0.465 0.056 0.000 0.446 0.000 8.358 7.590

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 334 836 0 3777 0 4270 2500

N.S.

1 1.00 1.07 2.69 0.00 12.14 0.00 13.73 8.04

time (sec)

N/A 0.492 0.547 0.158 0.000 0.572 0.000 5.259 8.367

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

355 355 372 920 0 4323 0 2707 2500

N.S.

1 1.00 1.05 2.59 0.00 12.18 0.00 7.63 7.04

time (sec)

N/A 1.199 0.650 0.145 0.000 0.802 0.000 6.245 8.997

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

425 425 454 517 0 4924 0 5273 2500

N.S.

1 1.00 1.07 1.22 0.00 11.59 0.00 12.41 5.88

time (sec)

N/A 0.607 1.124 0.087 0.000 1.382 0.000 7.082 9.370

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 80 86 0 259 311 78 656

N.S.

1 1.00 0.98 1.05 0.00 3.16 3.79 0.95 8.00

time (sec)

N/A 0.061 0.036 0.039 0.000 0.356 1.155 5.643 4.736

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 65 63 0 206 223 62 120

N.S.

1 1.00 1.02 0.98 0.00 3.22 3.48 0.97 1.88

time (sec)

N/A 0.042 0.017 0.033 0.000 0.373 0.512 3.131 4.398

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 41 38 0 134 131 37 42

N.S.

1 1.00 1.17 1.09 0.00 3.83 3.74 1.06 1.20

time (sec)

N/A 0.026 0.007 0.014 0.000 0.333 0.258 3.858 4.297

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 117 68 0 230 253 71 1015

N.S.

1 1.00 1.67 0.97 0.00 3.29 3.61 1.01 14.50

time (sec)

N/A 0.053 0.049 0.029 0.000 0.371 8.311 3.627 4.892

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 139 87 0 298 0 95 2032

N.S.

1 1.00 1.56 0.98 0.00 3.35 0.00 1.07 22.83

time (sec)

N/A 0.097 0.096 0.035 0.000 0.364 0.000 3.724 5.844

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 208 167 0 1051 129 2153 3000

N.S.

1 1.00 1.16 0.93 0.00 5.87 0.72 12.03 16.76

time (sec)

N/A 0.230 0.082 0.039 0.000 0.372 1.223 4.784 0.673

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 137 149 0 551 75 513 416

N.S.

1 1.00 0.91 0.99 0.00 3.67 0.50 3.42 2.77

time (sec)

N/A 0.068 0.071 0.027 0.000 0.382 0.430 4.139 4.537

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 137 117 0 605 87 1050 763

N.S.

1 1.00 0.91 0.78 0.00 4.03 0.58 7.00 5.09

time (sec)

N/A 0.048 0.053 0.023 0.000 0.342 0.631 6.162 0.486

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 199 159 0 1108 148 1877 2979

N.S.

1 1.00 1.16 0.92 0.00 6.44 0.86 10.91 17.32

time (sec)

N/A 0.139 0.267 0.038 0.000 0.382 1.884 4.716 4.932

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 62 63 74 156 138 60 166

N.S.

1 1.00 0.90 0.91 1.07 2.26 2.00 0.87 2.41

time (sec)

N/A 0.066 0.027 0.033 0.496 0.361 0.645 3.305 0.391

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 51 49 60 134 110 46 153

N.S.

1 1.00 0.91 0.88 1.07 2.39 1.96 0.82 2.73

time (sec)

N/A 0.040 0.013 0.023 0.509 0.354 0.317 3.476 0.170

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 26 37 91 53 23 31

N.S.

1 1.00 1.00 0.84 1.19 2.94 1.71 0.74 1.00

time (sec)

N/A 0.020 0.007 0.019 0.491 0.362 0.152 3.419 4.341

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 90 70 85 151 184 71 183

N.S.

1 1.00 1.17 0.91 1.10 1.96 2.39 0.92 2.38

time (sec)

N/A 0.056 0.034 0.025 0.515 0.352 2.587 4.752 4.563

[next] [prev] [prev-tail] [front] [up]